Самая большая электронная библиотека рунета. Поиск книг и журналов
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Автор: Jan Heering, Автор: Karl Meinke, Автор: Bernhard Möller, Автор: Tobias Nipkow
|
